Section: New Software and Platforms

math-comp-analysis

Mathematical Components Analysis

Keyword: Proof assistant

Functional Description: This library adds definitions and theorems for real numbers and their mathematical structures

Release Functional Description: Compatible with mathcomp 1.8.0, 1.9.0, and 1.10.0

News Of The Year: In 2019, there were 3 releases.

• Partners: Ecole Polytechnique - AIST Tsukuba

• Contact: Cyril Cohen

• Publication: Formalization Techniques for Asymptotic Reasoning in Classical Analysis

• URL: https://github.com/math-comp/analysis